Knihy od autora Corina S. Pasareanu

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Model Checking Software

   Corina S. Pasareanu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Symbolic Execution and Quantitative Reasoning

   Corina S. Pasareanu | Springer International Publishing AG, 2020

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   581 Kč

   Koupit
3. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Formal Aspects of Component Software

   Corina S. Pasareanu, Gwen Salaün | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1088 Kč

   Koupit
5. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Doručení zdarma pro objednávky nad 1499 Kč Zjistěte více